Open problem list for the Fine-grained Complexity Design program

ثبت نشده
چکیده

In the Even Set problem, the input consists of a family F of subsets of a universe U and an integer k; the question is to find a nonempty set A ⊆ U of size at most k such that |A ∩ F | is even for every F ∈ F . Alternatively, the question can be stated as finding a nonzero codeword of Hamming weight at most k in a linear code over F2. The question of parameterized complexity of this problem, parameterized by k, remains open. Note that if we require the set A to be of size exactly k, or we require the intersections to be odd, the problem becomes W[1]-hard.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Quantitative Synthesis for Concurrent Programs

We present an algorithmic method for the synthesis of concurrent programs that are optimal with respect to quantitative performance measures. The input consists of a sequential sketch, that is, a program that does not contain synchronization constructs, and of a parametric performance model that assigns costs to actions such as locking, context switching, and idling. The quantitative synthesis ...

متن کامل

Ultra-Fine Grained Dual-Phase Steels

This paper provides an overview on obtaining low-carbon ultra-fine grained dual-phase steels through rapid intercritical annealing of cold-rolled sheet as improved materials for automotive applications. A laboratory processing route was designed that involves cold-rolling of a tempered martensite structure followed by a second tempering step to produce a fine grained aggregate of ferrite and ca...

متن کامل

A Fine-grained Model for Design Pattern Detection in Eiffel Systems Maurice Lebon a Thesis Submitted to the Faculty of Graduate Studies in Partial Fulfilment of the Requirements for the Degree of Master of Science Graduate Program in Software Engineering

Design patterns have been used for many years in order to build software systems whose design has a high level of flexibility and scalability. In the reverse engineering field, detecting design patterns not only simplifies the understanding of the target system implementation but also provides the rationale behind the system’s design, i.e. why was this design used? Therefore, automating the det...

متن کامل

Safe Fine-Grained Locking for Aggregate Objects

Programmers have difficulty writing correct multithreaded code, not to mention code that scales well. One way to approach this problem is by offering a transaction construct, and leaving it to the compiler and run-time system to implement efficient synchronization. However, automatically generating efficient synchronization code is an open research problem. In this paper, rather than attempting...

متن کامل

ParaWeaver: Performance Evaluation on Programming Models for Fine Grained Threads

There is a trend towards multicore or manycore processors in computer architecture design. In addition, several parallel programming models have been introduced. Some extract concurrent threads implicitly whenever possible, resulting in fine grained threads. Others construct threads by explicit user specifications in the program, resulting in coarse grained threads. How these two mechanisms imp...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015